Советский философский словарь - синтаксис
Связанные словари
Синтаксис
синтаксис
(от греч. построение, порядок) в логике, изучение чисто формальной части формализов. языка, т. е. неинтерпретированного исчисления. Объектами такого изучения служат алфавит рассматриваемого исчисления (формальной системы), правила образования выражений (формул) предметного языка (языкаобъекта; см. Метаязык) исчисления и правила преобразования (правила вывода) в нём. В отличие от такого «логич. С.» часто говорят о «С. в узком смысле», ограничивающемся «чисто синтаксической» (в обычном грамматич. смысле) стороной системы, т. е. не рассматривающем её правила преобразования. Элементарным С. наз. изучение синтаксич. (в обоих упомянутых смыслах) свойств к.-л. конкретной формальной системы нек-рыми спец. эффективными средствами, как это принято в метаматематич. (см. Метатеория) исследованиях. Теоретический С.-это общая теория всевозможных формальных систем (или класса систем) к.-л. определ. вида, на аппарат к-рой обычно никаких ограничений не накладывается. Элементарный и теоретич. С. оперируют обычным содержательно понимаемым языком (к-рый, в свою очередь, сам может быть формализован и служить предметом строгого формального исследования),
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
(греч. syntaxis построение, порядок) раздел семиотики, исследующий структурные свойства систем знаков, правила их образования и преобразования, отвлекаясь от их интерпретации. Синтаксисом формализованного языка называют систему правил построения выражений этого языка и проверки того, являются ли эти выражения правильно построенными формулами, аксиомами, теоремами, выводами или доказательствами. ...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1735 | |
2 | 1417 | |
3 | 1216 | |
4 | 1148 | |
5 | 1136 | |
6 | 1101 | |
7 | 905 | |
8 | 834 | |
9 | 790 | |
10 | 757 | |
11 | 748 | |
12 | 732 | |
13 | 701 | |
14 | 700 | |
15 | 697 | |
16 | 682 | |
17 | 678 | |
18 | 654 | |
19 | 649 | |
20 | 630 |